SSFT'14: Probabilistic model checking with PRISM

The site contains various resources for SSFT'14, the Fourth Summer School on Formal Techniques

• Slides for the lectures given by Marta Kwiatkowska:
  • part 1 (introduction + discrete-time Markov chains);
  • part 2 (Markov decision processes + strategies).
  
  
• A reference list for papers on probabilistic model checking, as cited in the lecture slides
  
  
• A lab session based on the PRISM tool.

Background reading

• This tutorial paper is a good source of background reading.
  
  
• There are further tutorial papers listed here.

Site hosted at the Department of Computer Science, University of Oxford